Câu ví dụ
- Little progress was made on the four colour problem until 1976, when Wolfgang Haken and Kenneth Appel used a computer to finally solve it.
Không có gì tiến triển về bài toán 4 màu cho đến năm 1976, khi Wolfgang Haken và Kenneth Appel sử dụng máy tính để giải bài toán này.
